Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
121	Transfer Learning Across Relational and Uncertain Domains: A Language-Bias Approach Raksha Kumaraswamy Phillip Odom Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2015-07-10 13:58:39 Logic Linguistics Cognitive science Cybernetics Learning Machine learning First-order logic Logic programming Clause Predicate Algorithm
122	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
123	MATH63001 Two and a half hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2013-10-08 03:31:59
124	On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:19:34 Logic Mathematical logic Model theory Philosophy of language Predicate logic Arguments for the existence of God First-order logic Ontological argument Definite description Interpretation Atomic formula Constructible universe
125	Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-04-05 15:02:45 Model theory Quantification Answer set programming Logic programming FO Functional predicate Universal quantification Limit of a function Expected value Predicate
126	matt_gerber_dissertation.dvi Add to Reading List Source URL: ptl.sys.virginia.edu Language: English - Date: 2013-02-20 15:32:56 Grammar Linguistics Logic Semantics Syntax Arguments Critical thinking Computational linguistics Predicate Semantic role labeling Lexical semantics Selection
127	Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC Add to Reading List Source URL: www.specware.org Language: English - Date: 2012-04-12 03:46:22 Software engineering Mathematical logic Logic Proof assistants Type theory Logic in computer science Automated theorem proving Isabelle Predicate logic HOL Quantifier ML
128	MATH33001 Two hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2012-08-02 08:27:45
129	MATH43001Two and a half hours UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2011-11-18 09:20:30
130	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO

UPDATE